complemented lattice meaning in English

可补束
有补格
有余格

Is generalized to be valued in complete weak complemented lattices . for finite linearlyordered weak complemented lattice , some properties on elementary extension of models for
的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。
The two - valued weak model of the first order logic with generalized quantifier q is generalized to be valued in complete weak complemented lattices . for finite linearly - ordered weak complemented lattice , the omitting type theorem is proved
将带广义量词q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。